# -*- mode: snippet -*-
# name: Set Intuition Negation Unfolding
# --
Set Intuition Negation Unfolding
